$\forall$$L$:Dsys List. ($\forall$$A$,$B$$\in$$L$.$A$ $\parallel$ $B$) $\Rightarrow$ ($\forall$$M$:Dsys. ($\forall$$B$$\in$$L$. $M$ $\parallel$ $B$) $\Rightarrow$ $\oplus$($L$) $\parallel$ $M$)